<?php
	$root = $_SERVER['DOCUMENT_ROOT'];
	include($root . "/util/session.php");//checks that the user is logged in
	include($root . "/util/privilege_check.php");
	checkPrivilege("student");
	if(!empty($_GET['msg'])){
		$msg=$_GET['msg'];
	}
?>

<html>
	<head>
		<title>Student Menu</title>
		<link rel="stylesheet" type="text/css" href="studentStyle.css">
	</head>
	<body>
		<?php
			include($root . "/student/header.php")
		?>
		<div style = "font-size:14px; color:#33cc33; margin-top:10px"><?php
			if(isset($msg)){
				echo $msg;
			} ?>
		</div>
		<div id="menu">
			<ul>
				<li><a href="/student/checkExams.php">Start an exam</a></li>
				<li><a href="/student/checkResults.php">Check scores</a></li>
			</ul>
		</div>
		<?php
			include($root . "/student/footer.php")
		?>
	</body>
</html>